

#include "syscall.h"
int a;
OpenFileId fid ;
int
main()
{
   char* buf = {"this is a nachos file.   test input noff "};
   // Create("test");
    /* not reached */
   // a = Open("test");
   
    Write(buf,21,a);
}
